Merkle Directied Acyclic Graphs